Treatment_io
id_total, 0.437094834
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.010055207
id_inclusion_check_mod_p, 0.009443754
id_groebner_time, 0.20574563899999998
id_beautifulization, 0.13833241300000002
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 77.0
